|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Generování sítové záteže
Kubík, Pavel ; Koutný, Martin (oponent) ; Pelka, Tomáš (vedoucí práce)
Úkolem práce je vytvořit otestovat a popsat generátor síťové zátěže pro spojení typu klient server. Využito je jazyku C++ pod operačním systémem Linux. Dále bylo použito socketové a vícevláknové programování. Zatížení serveru se provádí vysíláním HTTP požadavků. Generátor zátěže má různé nastavitelné parametry a zobrazuje statistiku testu. V práci jsou uvedeny mechanizmy, které program používá pro zátěž. Testování bylo provedeno na jednom serveru s různou velikostí cílového souboru.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Generování sítové záteže
Kubík, Pavel ; Koutný, Martin (oponent) ; Pelka, Tomáš (vedoucí práce)
Úkolem práce je vytvořit otestovat a popsat generátor síťové zátěže pro spojení typu klient server. Využito je jazyku C++ pod operačním systémem Linux. Dále bylo použito socketové a vícevláknové programování. Zatížení serveru se provádí vysíláním HTTP požadavků. Generátor zátěže má různé nastavitelné parametry a zobrazuje statistiku testu. V práci jsou uvedeny mechanizmy, které program používá pro zátěž. Testování bylo provedeno na jednom serveru s různou velikostí cílového souboru.
|
host ::
RSS.